SpySMAC

Run with best incumbent examples/spear_qcp_small/example_output_1 Cutoff 5
# Train instances 10 Walltime budget 50
# Test instances 10 Runcount budget inf
# Parameters 26 CPU budget inf
Deterministic False
Default Incumbent
-------------- Changed parameters: -------------- ----- -----
sp-clause-activity-inc 1 1.03619
sp-clause-decay 1.4 1.80047
sp-clause-del-heur 2 0
sp-first-restart 100 503
sp-learned-clause-sort-heur 0 5
sp-learned-clauses-inc 1.3 1.44637
sp-learned-size-factor 0.4 0.212442
sp-orig-clause-sort-heur 0 2
sp-phase-dec-heur 5 4
sp-rand-var-dec-freq 0.001 0.005
sp-resolution 1 0
sp-restart-inc 1.5 1.44486
sp-use-pure-literal-rule 1 0
sp-var-activity-inc 1 1.38284
sp-var-dec-heur 0 8
sp-variable-decay 1.4 1.39724
sp-max-res-lit-inc 1 inactive
sp-max-res-runs 4 inactive
sp-rand-phase-dec-freq 0.001 0.0001
sp-rand-var-dec-scaling 1 0.370268
sp-res-cutoff-cls 8 inactive
sp-res-cutoff-lits 400 inactive
sp-res-order-heur 0 inactive
sp-rand-phase-scaling 1 1.04195
-------------- Unchanged parameters: -------------- ----- -----
sp-update-dec-queue 1 1
Plot
Default Incumbent
Train Test Train Test
PAR10 0.026 0.02 0.016 0.012
PAR1 0.026 0.02 0.016 0.012
Timeouts 0/10 0/10 0/10 0/10
Plot
Plot
sp-learned-clause-sort-heur 0.312033 sp-max-res-runs 9.023046e-04
sp-var-dec-heur 0.122467 sp-rand-phase-dec-freq 7.976202e-04
sp-rand-phase-scaling 0.092026 sp-update-dec-queue 7.964530e-04
sp-phase-dec-heur 0.085080 sp-var-activity-inc 4.988348e-04
sp-first-restart 0.070298 sp-max-res-lit-inc 3.837252e-04
sp-rand-var-dec-freq 0.040454 sp-variable-decay 1.841154e-04
sp-orig-clause-sort-heur 0.033207 sp-clause-del-heur 1.595092e-04
sp-res-order-heur 0.022571 sp-learned-size-factor 1.477523e-04
sp-learned-clauses-inc 0.003439 sp-clause-activity-inc 6.968939e-05
sp-restart-inc 0.002229 sp-resolution 2.733555e-05
sp-res-cutoff-cls 0.001871 sp-res-cutoff-lits 1.110707e-05
sp-rand-var-dec-scaling 0.001768 sp-clause-inversion 3.614020e-09
sp-clause-decay 0.001036 sp-use-pure-literal-rule 0.000000e+00
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot